Formal Music Representation; a Case Study: the Model of Ravel's Bolero by Petri Nets
نویسنده
چکیده
1. The Main Steps of this Work 2. The Analysis of Ravel's Bolero 2.1. Music "Objects" 2.1.1. Rhythmic Objects 2.1.2. Melodic Objects 2.1.3. Harmonic Objects 2.1.4. Resolution Objects 2.2. Meta-Structures 2.3. The Music Objects' Map 2.4. Growing Rules 2.4.1. Dynamics and Duplication Rules 2.4.2. Harmonic Rules 2.4.3. Timbral Textures 3. The Formal Model of Ravel's Bolero 3.1. Working Hypotheses on the "Ideal" Bolero 3.2. Hierarchically Organized Levels of Representation 3.3. Petri Nets as the Music Description Formal Tool 3.4. Model Architecture 3.4.1. Model Conventions 3.4.2. The "Intro" SubModel 3.4.3. The "Loop1/2/3/4" SubModel 3.4.4. Harmonic Nets 3.4.5. The "Finale" SubModel 4. Discussion of the Model 5. References
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کامل